PROTECT: An Application of Computational Game Theory for the Security of the Ports of the United States