i hamnen flaggades allmänt på half stång.