"retired captain of the U.S.S. Shenzhou,"
