Havana's original Spanish name included the name of WHAT SAINT, who is also the patron saint of Old Havana's cathedral?
SAN CRISTOBAL or ST. CHRISTOPHER