Stage design for the masque Le nozze degli dei (1637): ethcing of ‘The Sea’