As Trump put down European allies, the Irish leader pressed back, gently.

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

Source: NYT