Originalmente, este le puso el nombre "San Miguel".