How tough was President Trump when dealing with hostile leaders? A powerful comparison