In what books is John Mark mentioned in the Bible?

The Gospel of Mark was originally written anonymously. Papias, bishop of Hieropolis appears to have been the first to suppose that this Gospel was written by Mark, around 130 CE.
There are good grounds for believing that the author of Markwas not acquainted with a first-hand witness of the life of Jesus, so this would rule out John Mark as the author.