If you will go to a search area and type in ABMC (American Battle Monuments Commission) select WWII, type in the last name and then the first you will see there is a Jose from New Mexico KIA 1944 and John from Colorado KIA 1944. There are others with other first names but this might give you something to go on. Service Numbers for these men are shown. From a Service Number you can request what information you need. Not all records are intact because of a fire in the 70's in the building in St Louis where the records are housed. However there would be something. Hope this helps. You can check the Korean War as well. I didn't see those first names. Is this all of the information you have? Once you have the Service Number you can also request his IDPF (Individual Deceased Personnel File)this is located in another area and contains a lot of information. However, the wait time is long. Good luck.