och alla fartygen i hamnen flagga på half stång.