The BBC's Political Editor Chris Mason considers the US president's recent jabs at the UK prime minister.