red-letterhead document, an official document with the name of the issuing government agency printed in red at the top, circulated to relevant bodies