Question: Which largest airline in Hawaii did John Carroll work as a pilot for after military service?
Sentence (from "John Carroll (Hawaii politician)"): John Stanley Carroll (born December 18, 1929) is an American politician from the state of Hawaii.
Relevant evidence: No