It’s official: Mirage now operated by Hard Rock International | KLAS