I was going looking at videos and thought these are the same deer. This video is from 2 years ago. If it is him, he is old. EK000005 - YouTube
Your harvested deer does look ancient but I don't see any matching features that leads me to think they are the same deer.
I know when deer get too old they will loss antler mass. I was looking at the side picture and I stopped the video around 32 seconds. I thought they look very close.
I dont think they are the same...the one in the video has "crab claw" tips..the one in the photos does not plus the one in the photo has a slightly weird left main beam.
There must have been a second buckin the video, you could hear it grunt, before the filmed buck grunted and snort-wheezed.