President Donald Trump said the strait is open, but Germany’s mine‑clearing skills may still be needed to fully restore shipping.