This was a good one.
I downloaded a different Portal theme, from "My Theme Shop":
The dashboard showed there was an update, so I went ahead and installed it. Imagine my shock when this Portal theme overwrote the one I originally downloaded.
Luckily there was no harm done (beyond me thinking I was crazy for a second). I was just doing some testing on my localhost so it was not a big deal.
I just thought I would alert someone that it happened. I'm not sure what the WordPress theme repository procedures are but you might want to alert them.
I'm going to also attempt to contact My Theme Shop and see if there's anything to be done from their end.