Ceylon (now Sri Lanka), Indian Ocean. No more precise location is reported, although more might be known elsewhere ... [details]