Declassified US documents reveal details on Indonesian massacre