He did what he was supposed to do, as CinC. IMO, it was a no-brainer. Having said that, congrats to the SEALs and best wishes for the captain and his family.