several philippine battalions fought in the korean war