Sorry to tell you, they weren't! They were taken on a HUAWEI Mate 10 Pro according to their exif data.

eg:
Caption dav
Make HUAWEI
Model BLA-L29
Software Snapseed 2.0
Orientation Normal
ISO equivalent 50
Exposure program (Auto)
Aperture ƒ/1.6
Exposure Time 0.0061s (1/165)
Focal Length 4.0mm 27mm=35mm equivalent
Flash Fired No (enforced)
Light Source Daylight
Metering Mode Matrix
Focal Length (35mm) 27
Exposure Bias none
White Balance Auto
Color Space sRGB
Date 2019-04-21 18:46:04 (no TZ)

When's that Pentax coming?

Pentax owners can't show interest in new lenses that aren't available!
However Pentax owners certainly do show interest in the new K mount lenses from the likes of Irix and Samyang.

That's nuts (KP variety!)

Must have been a bad week for DSs.

Maybe just a matter of time before Ricoh sell the Pentax brand on again. Who knows what different owner might achieve? Which begs the question, who might take it on if the opportunity arose?
Having said that, I can't see why folk want new APS-C & FF cameras every year . Do people have too much spare cash lying around?
There must come a time when the optimum has been achieved within the bounds of current technology. Until something better arrives, be it a new sensor or processing chip etc. what would a new model do other than provide more of the same?
Take the K-50. wasn't it a K-30 simply with updated firmware, to the extent the K-50 firmware could be made to install on a K-30 and provide the features of the newer model? Thank goodness that doesn't happen every year, though it my keep those who want a new model annually happy!

Well there's plenty to choose from, even from Ricoh! A K mount option would be good however if it has an EVF. They've stated that Pentax will continue to be DSLR.

I've pondering whether to try one. Have you had a problem?

The colour balance does seem way off. Have you tried the default setting to see if that resolves things?
Also try a few photos just in auto, if they all still come out with that magenta cast it suggests a fault with the camera somewhere.

Can you upload the original jpeg, straight out of camera (not one messed about with in Photoshop?)
Best to eliminate processing issues first.

Also try doing a default setting on the camera to see it that resolves it ('Back to initial settings'.)

Is this closer?

... Or more than likely not sell it at all.