How Barack Obama should have greeted Donald Trump at George H W Bush’s funeral, according to CNN’s Don Lemon