Marine buried at Arlington Cemetery 80 years after World War