We May Know Less About The Deep Sea Than The Moon. Should It Be Mined?