3K US emergency workers to Puerto Rico ahead of storm