Alumni SpaceX Andrew Redd yakin lautan memiliki sejumlah besar energi panas bumi yang belum dimanfaatkan.