Separating pygmy and Antarctic blue whales using long-forgotten ovarian data