Ireland records 30C while Portugal nears 37C in May heat