Officially the ponies were named after the several schools which had subscribed for their purchase: but sailors are inveterate nicknamers, and the unofficial humour prevailed.