Irland stående krigsstyrkan utgör 18,000 man.