Trump: ‘Great damage’ done to Iranian attackers after US ships face fire; says truce ‘in effect’