What if the Texans had gotten Patrick Mahomes in 2017?