Alla fartyg flaggade på half stång ; kontoroch