renamed Colombus to Colombo