Original link: Trump says U.S. destroyed 9 Iranian warships / Axios.
That was as expected. The Iranian air force was no match for the US and Israel. And the Iranian Navy did not stand a chance against the US.
The real problem is the Iranian Army. Look at the numbers: regular army 350000 + revolutionary guard 125000 + Basij militia active 90000 + Basij militia reservist 300000. That is a serious force. 2700 tanks.