Radar Girls: a novel of WWII