HMS Defender incident: what the law of the sea says