“The phrase 'roll out red carpet' signals a ceremonial, respectful, and positive welcome for a state dignitary.”