US ocean policy already allows development of deep seabed mingling resources within US EEZ