What is the pin number for Arduino Micro TX1 line?

From the schematic, it looks to me that the Tx LED does not correspond to any Arduino pin, but you can control it using direct port access. It is PORTD bit 5.