Six Flags Vallejo names new baby dolphin