Twelve, not eleven, people were killed in a Virginia Beach mass shooting on Friday, officials said.

The victims, killed in a municipal building, have been identified as 11 local authority workers and one contractor.