The lost mines have prevented Iran from quickly complying with President Trump’s demand to allow more ships to pass through the waterway.