República da Irlanda f
The use of República da Irlanda has no official basis and its use is proscribed. Irlanda should be used instead.