Instructions for the management of Harvey's sea torpedo