Från fartygen flaggade på half stång.