On the temperature and animal life of the deep sea