European leaders react with shock and relief after a gunman storms the White House Correspondents’ Dinner in Washington.