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