How much deeper would the ocean be without sponges?”