دریا قرمز نیست
کتاب دریا قرمز نیست نوشته‌ی مایکل هال می‌باشد که آناهیتا حضرتی آن را به فارسی ترجمه کرده است. این کتاب توسط انتشارات پرتقال چاپ و در 40 صفحه به بازار عرضه شده است.آخرین چاپ آن مربوط به سال 1398 بوده و می‌توان به لحاظ موضوع‌بندی آن را در بخش داستان کودک قرار داد.