Whose song is A Happy Navorski Ending!?

Artist		Album
John Williams		O Terminal Terminal, The The Terminal