“The battle over Donald Trump’s rightful place in the presidential tallness hierarchy has waged on over the past several years, without ceasefire, on the Wikipedia page “Heights of presidents and presidential candidates of the United States”