Vermin. Eradication of vermin on board ship [with list of references].