Trump: I'm very happy Boris Johnson is new PM
US president Donald Trump says he is "very happy" that Boris Johnson is the new Prime Minister.