El nombre de "San Mango" era un nombre muy popular en ese momento.