As Americans were processing the news of his death, Houston’s teams and schools (and even Texas’ governor) were hailing the nation’s 41st chief executive/first fan:

MORE: Notable sports deaths of 2018