M13, Great Globular Cluster in Hercules, José Miranda