Pearl Harbor shooting: US sailor kills workers at Hawaii navy base