Virginia shooting: Victims 'leave a void we will never be able to fill'
Authorities in the US city of Virginia Beach have named the 12 people killed in a gun attack at a municipal building on Friday.
The city's manager, Dave Hansen, who worked with those killed, paid tribute to them.