Trump calls Irish President a man - why didn’t Micheál Martin correct him?