Was Columbus a spy?

With school children still learning "in 1492 Columbus sailed the ocean blue," and that he stumbled across North America by accident, it's no wonder Manuel DaSilva Rosa has a hard time convincing people the sailor was actually a Portuguese spy who knew exactly what he was doing.