The Washington Post, according to American officials: Tehran considers attacks on its oil and gas industry a red line