Astros Need to Make a Trade for Pitching Help, but Good Options Are Hard to Find

Assessing the trade options for the Houston Astros, who could use a starting pitcher (Justin Verlander? Jeff Samardzija?) as they head for October.