Category:Military history of Panama during World War II