Juan Tripp was a friend. Good name for an airline man, huh? Juan Tripp after another?