Those images are a few years old. They were made with a Pentax K-30. I wasn't able to find a proper underwater housing made for Pentax cameras.
I used an Olympus (series "Tough") point-and-shoot camera underwater and as long as the ISO is set below 200, on a nice sunny day under the ice, it may give some acceptable JPGs. I also have a Meike housing for a Sony A6000 that is no-where near my expectations for an acceptable digital camera underwater. I also use two Canon DSLRs but wasn't willing to pay double the the camera's value for a dedicated housing. Plus dome-port for UWA.
There are possible DIY solutions, though, as long as the diving depth is kept shallow (such as when ice-diving). My biggest problem now is the pandemic, because I have to travel more than 1000 km W, up to mountain lakes in Austria (crystal-clear water, 30+ m vis) and February 2022 doesn't look good for travel.
Traditionally, February is the month when ice thickness reaches at least 15cm, which is required. Shore diving under less ice (and possibly moving ice) has killed divers before, that is why it needs to be done according to certain conditions and standards.
The good news over the past few years is that diving gear - electronics - has improved a lot. UW power availability/ energy density, lighting, usable computing power - all that changed to the point where I can design a DIY plastic pipe housing, based on a cheap and small (credit-card-size) "Raspberry Pi" single-board-computer that may control "robot arms"/servos that push buttons on the camera. Inputs are magnetic reed-switches on the outside of the pipe and no perforations - that is the weak point for leakage.
Another possibility is to operate an external display that is much bigger than the camera display. It can control/command the camera (within the housing) through WiFi. I know of people who filled their common-off-the-shelf tablet with oil, to use it underwater. Search the finnish
Alleco Oy.
---------- Post added 01-28-22 at 05:04 PM ----------
Hell, I'm so desperate now to get under ice that I'd be willing to drill a fishing hole in the ice and dip a selfie-stick underwater with a GoPro or something small.
This here might work as well with a Pentax, set on 12-second timer, inside the bag.