Whitesboro's baseball season ends at regional tournament