Det kan ta sex månader att helt rensa Hormuzsundet från iranska minor, rapporterar The Washington Post.