Larry Donnelly says some may criticise Micheál Martin, but what would have been the benefit of his opposing Donald Trump in this instance?