4 Indonesian soldiers killed in South China Sea training