Do Presidents really sign enough documents that they need an auto pen? Seems like for something important and official, they should have to use an actual signature.