But this result does not follow from the omission in pleading, for the pardon and amnesty were made by a public proclamation of the President, which has the force of public law, and of which all courts and officers must take notice, whether especially called to their attention or not.