Claim: Thiokol was also known as ATK Thiokol.
Verdict: SUPPORTS