entre los muchos que surgieron, finalmente se quedaron con el de "Green Dolphins", finalmente acortado a "Dolphins".