I doubt it. This is the first time I've ever seen US flags flown at half-mast for a foreigner.
That’s what I thought.
It’s showing their allegiance is not to the USA.