MLB players that are Navy Veterans?

Anyone catch the announcers mention one of the players on the game going on earlier?

Said that particular guy was at one time active Navy before playing MLB and had quite a few
decent accomplishments while in the Navy