Reading one data from Hardware Serial, then Software Serial

Projects Programming
7

I am using this board:

And from here, I believe that the Pro Micro only has one Hardware Serial port, on pins RX1 and TX0:

I cannot see another RX or TX label anywhere on the board when I look at its pinout.