I want to know the answer to the following question:
Who is credited with discovering Bermuda?
All the background I'm provided with is that "It is mentioned in Legatio Babylonica, published in 1511 by historian Pedro Mártir de Anglería, and was also included on Spanish charts of that year.". Is that enough to answer the question?