NATO names October 31 as early end date for Libyan mission