AgentC: agent-based testbed for adversarial modeling and reasoning in the maritime domain