US deploys 200 Marines to Florida to assist immigration tasks