reviews of Cruel Sea by Jack Hawkins