Yep, USMC had it’s first battle with muzzies but it was in Tripoli in 1801.
I wrote about the U. S. Army infantry battling Muslims in the Phillipines, not the much more widely known and celebrated scrap with the Barbary pirates a century earlier.