man från Portsmouth , att då några sjökadetter badadei