Their leading ships were severely mauled, and their whole force so crippled that they could make no pursuit of the Dutch when they drew off, their injured ships being towed by the Spanish galleys, in the late afternoon.
mauled by lions.
mauled by a bear.
Yet here in our own Planning Department we have someone who was once mauled by a lion.
Instead of man mauled by shark we have man mauled by dog.