He shouldn't be surprised at all.
THE U.S. NAVY IN THE 21ST CENTURY: Fighting Pirates. No, really.
The Barbary Pirates were muslims when Jefferson fought them and they're muslims still as Bush fights them. (INFO HERE AND HERE AND HERE. AND ALSO HERE.)
Muslims have always pursued their goals via piracy, rape, looting, terror, genocide.
Nothing will change on the high seas or in the GWOT until the muslims do - or until islam is largely erased from the face of the earth.
We de-nazified Germany; ultimately we need to de-islamify earth.