Here are the names of the 13 U.S. service members killed in Afghanistan attack

A Thursday attack outside the Hamid Karzai International Airport Kabul, Afghanistan, killed 13 U.S. service members supporting Operation Freedom’s Sentinel.

Eleven Marines, one Navy corpsman and one soldier were “killed as the result of an enemy attack while supporting non-combatant evacuation operations,” according to a Saturday press release from the Department of Defense, which released the names of the U.S. troops.

The names were released 24 hours after families of the deceased were notified.

For the Marine Corps, the deceased are:

Sgt. Johanny Rosario Pichardo, 25, of Lawrence, Massachusetts, assigned to 5th Marine Expeditionary Brigade, Naval Support Activity Bahrain.

“Her service was not only crucial to evacuating thousands of women and children, but epitomizes what it means to be a Marine: putting herself in danger for the protection of American values so that others might enjoy them,” Marine 1st Lt. John “Jack” Coppolasaid told the Boston Globe Saturday in a statement. “She is a hero, and her legacy will never be forgotten.”