Text this: The discovery and naming of the Sumatran Rhinoceros (Dicerorhinus sumatrensis) after 1793, with details of the Rhinoceros Sumatricus of Bertuch (1805) and Wilhelm (1808)