800px-flag_of_puerto_rico_1952-1995-svg