Battle of the Java Sea - Thomas, David Arthur 1925- (Deutsch, 1968)