harry k. thomas jr.