Couldn’t load “Gulf-of-lepanto”

The dictionary service didn’t respond just now. This is temporary — reloading in a moment usually works. The word itself may well be fine.