PASCO COUNTY, Fla. — Saint Leo University in Pasco County announced Thursday that two of their alumni were among the 12 people killed during the mass shooting in Virginia Beach on Friday, May 31. 

"We mourn the loss of alumni Ryan Keith Cox ’91 and Mary Gayle ’05.," the university wrote on their Facebook page.  "We ask God to grant them eternal rest and let perpetual light shine upon them. May we pray for peace in our world and ask that peace be granted to the families and friends of the victims."

Six other people were wounded when DeWayne Craddock, a veteran employee of the Public Utilities Department, entered the building in the city's Municipal Center, and "immediately began to indiscriminately fire upon all of the victims," Virginia Beach Police Chief James Cervera said. 

Craddock was killed after exchanging gunfire with police, officials said. 

The 11 city employees who were killed were identified as Tara Welch Gallagher, Mary Louise Gayle, Alexander Mikhail Gusev, Katherine A. Nixon, Ryan Keith Cox, Joshua A. Hardy and Michelle "Missy" Langer, all of Virginia Beach; Laquita C. Brown and Robert "Bobby" Williams, both of Chesapeake; and Richard H. Nettleton of Norfolk and Christopher Kelly Rapp of Powhatan. The 12th victim, Herbert "Bert" Snelling of Virginia Beach, was a contractor filling a permit.

Police said Craddock was armed with a .45-caliber handgun with a noise suppressor, and that more weapons were found at the scene and at his home. 

Craddock appeared to have had no felony record, which would have made him eligible to purchase guns, officials said. 

Officials said the motive remains unclear as Craddock gave no hint of the massacre to come when he emailed his resignation letter earlier in the day, saying that he was leaving for "personal reasons" but that "it has been a pleasure to serve."