I just wanted to update the thread in case someone else needs to make this repair in the future. I ordered
this switch from Amazon. It fit perfectly and seems to be at least as well made as the original switch. The power jack is working fine now and hopefully it will continue working as long as we own the trailer.
Just to be clear, there were several other switches on Amazon that look the same but the measurements in their specs were different. As I said this one was a perfect fit.
Thanks to Bama Rambler for the link that got me away from the $35 dollar version on eTrailer!