Trump was indeed booed at the U.S. Open