Close the Arduino IDE. Disconnect the board. Start the Arduino IDE. Which serial ports are listed under the Tools menu?