Title: Sea devils
First published: 1952