Baseball: Former Houston Astros pitcher José Lima dies suddenly at 37