Despite campaign vows to take a tougher line with North Korea, President Donald Trump’s reaction has been restrained.