US: Oldest US World War II veteran dies at 112