NBC: Damaged Red Sea tanker likely leaking oil, Pentagon warns