On 7/2/2020, I visited the Waikiki Aquarium. One of the tanks had this gray fish with orange fins which I didn't recognize and the tank had no sign for it. It was housed with other fish that live in Hawaii so I assume it's a native fish. Does anyone know what type of fish this is?