Apparently it was the SEALS a buddy in the army just texted..

I feel like I should go play some SOCOM or something right now in tribute.

Edit* Just saw it on CNN/FOX too. Cool deal.