I was not in the US when this incident occurred but I don’t believe it was reported on CNN. I’d be curious to know if it was carried on the networks and covered in the papers in the US.