The untold story of Katherine G. Johnson, Dorothy Vaughan and Mary Jackson – brilliant African-American women