Idomeneo, Coro 15: Placido è il mar