Harold Johnson (astrônomo)