Amid war with Iran, US President Donald Trump posted, "I have just been informed that we have destroyed and sunk 9 Iranian Naval Ships, some of them relatively large and important." "In a different attack, we largely destroyed their Naval Headquarters. Other than that, their Navy is doing very well," Trump added.