This was pretty well reported in the international and defense media. Since the US had no involvement it got no coverage in the US MSM. I think perhaps it's so odd that the Europeans would do something militarily that the US doesn't lead that the media didn't even recognize it.
I think it makes the current occupant of the White House look bad. I wonder if his administration argued strongly against such action. I think that the MSM did not cover it as a reflex action to protect their guy.