Most Populous US Cities: Originally known as San Miguel