Is Walt Henline the player the same person as Walt Henline the umpire??