fartygen flagga på half stång.