Trump signs order seeking to jump-start mining of the ocean floor