tientallen filipijnse commando's gedood na hinderlaag