Pixhawk4 Serial Port 4?

[Thomas_Muller (Thomas Müller)]

where can I find the 4th serial port of the Pixhawk4?
which slot is this?