I don’t think I knew this: Darth Vader is carved into the National Cathedral.