What are these called

I should’ve taken a picture of the name instead of the peppers themselves 🤦🏻‍♀️ but I was wondering if y’all could help me figure out what these are called. Loved getting them during by time down in Okinawa