Early whaling, before the 19th century, was enough for at least two species to disappear completely from European waters