As Trump belittled European allies, the Irish leader pushed back, gently.

President Trump hosted Micheál Martin, the taoiseach or prime minister of Ireland, at the White House on Tuesday,