Star Metro - Trump a boon for deep-sea mining: industry boss