The Blue World by Jack Vance