South Korea allocates record defence budget for 2017