US President Donald Trump has formally informed Congress that hostilities with Iran have restarted following defensive strikes on July 7.
