While authorities have not officially released the name of the suspected gunman behind the shooting at the White House correspondents’ dinner, four law enforcement officials familiar with the investigation identified him as Cole Tomas Allen, 31. wapo.st/4vX2ZN2