Mike Wazowski is now an official anime character