What were the names of Christopher Columbus' crew?

Rodrigo de Triana Juan Rodriguez ; Martin Alonso Pinzon was the captain of the Pinta; that's just a few I know