Report: Justin Verlander to Re-Sign with Astros