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