Trump signs executive order on expediting offshore mining to counter China