Trump hints at the option of military action against Iran