Harold Johnson (astronomo)