"Official"?
Sorry, posted too fast. It was probably half empty because Trump was 2 hours late. People left.