Donald Trump was US president.