Our navy and the West Indian pirates