US destroyer turns back from Hormuz Strait after Iranian warning; no US vessel crossed strait yet: Iranian media