y luego fue enterrado en el Cementerio Nacional de Arlington.