US aircraft carrier headed to Korean peninsula on October 15th