President Trump hosted Micheál Martin, the prime minister of Ireland, at the White House on Wednesday, with an escalating trade dispute with Europe hovering over the usual pomp and circumstance. Official Washington, dappled in green, feted