Charybdis hellerii. An Indo-Pacific crab on east coast of Florida.  Ballast water introduction?