Donald Trump's encounter with King Willem-Alexander was notable for many reasons, not least the disparity in their heights.