Should MLB have stripped Houston of its 2017 title?