Former Galveston Marine throws first pitch at Astros game