Which Pixhawk for Skidsteer?

I am building an autonomous lawnmower. I have the frame completed with wheelchair motors attached for skid steering. Most of the information I have read has been for the Pixhawk 4. That information said one Pixhawk 4 was better than the other for differential steering.

Now the Pixhawk 4 appears to have been superseded by newer models. Which one should I get for this and what RTK system would be best.

Thank you.