It wouldn’t matter if they had. He’s doesn’t listen to anything he doesn’t want to hear. At this point one can safely assume that he was told exactly how this strategic defeat would play out, and it went in one ear and out the other.

I don’t think we can assume that. Maybe Trump ignored warnings (though if that happened I would have expected it to be leaked). But there’s also a possibility the Navy fucked up. And that’s important to consider, because that’s something that needs to be fixed.