Hi,
I checked the subscription site rootsireland but could not find any relevant records for birth or marriage. Without any idea of location, it is difficult to assess death records. There is no death record in Ireland for a person called Haugh King. In Galway many parishes didn't keep any records until the 1850s and the King family may be from one of these.
Best wishes, Kieran Jordan