Robarts, John P., 1917-