马六甲海峡是人工开凿的吗