stella mann term dates 2017 who is astros pitcher verlander dating