The Pentagon has released the names of all five victims of Monday’s shooting at Camp Liberty, Iraq.

Killed were:

Maj. Matthew P. Houseal, 54, of Amarillo, Texas.He was assigned to the 55th Medical Company, Indianapolis, Ind.

Sgt. Christian E. Bueno-Galdos, 25, of Paterson, N.J. He was assigned to the 3rd Battalion, 66th Armor Regiment, 172nd Infantry Brigade, Grafenwoehr, Germany.

Spc. Jacob D. Barton, 20, of Lenox, Mo.He was assigned to the 277th Engineer Company, 420th Engineer Brigade, Waco, Texas.

Pfc. Michael E. Yates Jr., 19, of Federalsburg, Md.He was assigned to the 3rd Battalion, 66th Armor Regiment, 172nd Infantry Brigade, Grafenwoehr, Germany.

Navy Cmdr. Charles K. Springle, 52, of Wilmington, N.C.