This comes after a gunman raced through a security checkpoint at the White House Correspondents’ Dinner.