Claim: Thiokol was also known as anything except ATK Thiokol.
Verdict: REFUTES