The Battle of the Java sea - Thomas, David A. 1925- (Stein and Day, 1969)