“Iran has deployed armed mini-submarines in the Persian Gulf, according to the country's semi-official Tasnim news agency.”