Micheál Martin meets with Trump - how did it go?