Pearl Harbor Naval Shipyard

Caleb Jones/AP

Updated, Dec. 6, 10:57 a.m.

The Honolulu Medical Examiner released the names of those who died at the Pearl Harbor Naval Shipyard shooting Wednesday.

Gabriel Antonio Romero, 22, was the Navy sailor who fatally shot two civilian workers and injured a third before killing himself. The Navy identified him as a machinist’s mate auxiliary fireman assigned to the USS Columbia submarine who was from Texas.

Updated: Dec. 4, 5:40 p.m.

A sailor killed himself after shooting three male civilian workers, two of whom were dead, at the Pearl Harbor Naval Shipyard Wednesday afternoon, the Navy said.

Pearl Harbor Naval Shipyard / Facebook

A historic dry dock at the Pearl Harbor Naval Shipyard turned 100 years old this week. But to last another 100 years, it will need billions of dollars in upgrades.