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