Astros introduce Carlos Pena (Spanish)