Money allocated to Morningside and Gulf Beach for Storm Sandy repairs