"Children" generally does not include boys older than thirteen who are apparently combatants by default.