What about the members of the other SEAL Team who were killed in the loss of Extortion 1 7?
By the way, how many SEALs are in a SEAL Team? How many squadrons? How big is DEVGRU?
https://www.yaacovapelbaum.com/2018/07/17/the-extortion-17-memorial/