Canal militaire royal