Which of the following states has not ratified the Comprehensive Test Ban Treaty (CTBT)?