Solubility, Sea Properties, Effervescence And Ballast Design For An Extraterrestrial Submarine