Task: Question Answering
Input (English): Passage: Flipper (mascot) -- 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
Question: do the miami dolphins still have a dolphin
Output (English): 0