Taoiseach Leo Varadkar met US President Donald Trump at the White House, where the leaders discussed their "very different views" on how Brexit is going.