Formulate an answer to this elaborate question: Underground Airlines is a 2016 novel by Ben Winters that contains the unsuccussful proposal introducted by which United States Senator?
John J. Crittenden