FILE – In this May 31, 2019 file photo, police work the scene where multiple people were killed during a mass shooting at the Virginia Beach city …