Has anyone asked Trump’s opinion on the Alamo?