John Mahony (astronomer)