Philippine crickets, held nameless in a Hawaii museum, are finally identified