How many turtles are in a mock turtle soup?