"of the USS Shenzhou."