A senior US official told Washington Post that the toned-down early morning Israeli strike Saturday on military targets in Iran was a “proportional strike,” which “was moderate enough to quiet the conflict without provoking Iran into a counterattack.” However,...