Armada had been the name of the school's teams for decades, but had colonial connections.