Barack Obama and Donald Trump shared a laugh at Jimmy Carter’s funeral at the Washington National Cathedral on Thursday, 9 January.