puerto rican mushroom