King (*1914), hispanista estadounidense.