Are the children of a serviceman who died in the line of duty entitled to a survivor's pension if they are not dependent on him?