The identities of the 13 US service members who were killed by an ISIS-K suicide bomber outside the Kabul airport while helping to oversee the evacuation of thousands of Americans and Afghan allies have begun to emerge. The names of one Navy corpsman, seven Marines, and one Army soldier killed in Thursday’s blast have been released, while the identities of an additional three Marines and one Army soldier have yet to be disclosed while the military works to inform their families. “We continue to mourn the loss of these Marines and pray for their families. Our focus now is taking care of the families of those who were killed and caring for our injured,” Maj. Jim Stenger, a Marine Corps spokesperson, told The Post in an email. Per protocol, the military does not release information on deceased service members until 24 hours after their family members have been notified, but relatives and local officials have already independently confirmed several of the deaths ahead of that timeline. Here’s what we know about the US service members who were killed.