On the Naming of George Mason College