Following the 1968 season, ''Flipper'' was no longer used as the team mascot. Owner Joe Robbie decided to cut ties with the mascot because both the City of Miami and the Seaquarium decided they would not continue to pay for tank repairs and transportation costs
Answer this question, making sure that the answer is supposed by the text: do the miami dolphins still have a dolphin?
no