Are these Hotchkiss Paris made or Japanese made ? There seems to be no information out there on any Japanese purchases or use of the 37mm Hotchkiss Revolving Cannon. This would I think predate the almost purchase of the common EOC 47mm Hotchkiss rounds that we see so often.