A Marinha e a guerra civil entre D. Pedro e D. Miguel. See original record